✅ Formal Verification - mdacach · Scour

ProofSketcher: Hybrid LLM + Lightweight Proof Checker for Reliable Math/Logic Reasoning 🔧Compilers

arxiv.org·22h

Automated Security Assertion Generation Using LLMs (U. of Florida) 🔧Compilers

semiengineering.com·6d

Beyond Static Analysis: Proving Automotive Cybersecurity and Functional Safety 🔧Compilers

embedded.com·1d

metareflection/guardians: an implementation of the ideas in Erik Meijer's "Guardians of the Agents: Formal Verification of AI Workflows" (Communications of the ACM, January 2026) 🔧Compilers

github.com·19h·Hacker News

VEIL: Lightweight Zero-Knowledge for Hash-Based Multilinear Proof Systems 🌐Distributed Systems

eprint.iacr.org·2d

Why is the timeline to quantum-proof everything constantly shrinking? 🌐Distributed Systems

cyberscoop.com·5h

The Verification Facade: Structural Gaps in Cryspen's Hax Pipeline 🦀Rust

symbolic.software·3d

Separator-Based Participation Commitments for Post-Quantum Attestation Aggregation 🌐Distributed Systems

ethresear.ch·23h

Program Analysis: A Pragmatic Approach ⚙️Systems Programming

homes.cs.washington.edu·1d·Lobsters

How agile practices ensure quality in GenAI-assisted development 🔧Compilers

infoworld.com·17h

What do you do when your AI agent hallucinates with your money? 🌐Distributed Systems

finance.yahoo.com·1h

AI models could offer mathematicians a common language 📐Algorithms

economist.com

·1d

An introduction to Turing machines and computation 📐Algorithms

max-amb.github.io·6d·Hacker News

First Public Working Draft: Verifiable Credentials Data Model v2.1 🗄️Databases

w3.org·18h

Trust But Canary: Configuration Safety at Scale 🌐Distributed Systems

engineering.fb.com·1d

OpenJDK Interim Policy on Generative AI 🔧Compilers

mail.openjdk.org·7h·Hacker News

Topological Catalyst Boosts Ammonia Synthesis 🔀Concurrency

link.aps.org·1h

Adding Correctness Conditions to Code Changes 🦀Rust

jessitron.com·3d

Autonomous AI Penetration Testing 🦀Rust

llmtary.com·1d·Hacker News

Open From Both Sides 🖥️Operating Systems

julsimon.medium.com·17h

Loading more...